- proving machine
- станок для отработки УП
English-Russian dictionary of mechanical engineering and automation. - RUSSO. B.S. Voskoboinikov, V.L. Mitrovich. 2003.
proving machine
Смотреть что такое "proving machine" в других словарях:
proving ground — noun a workplace for testing new equipment or ideas (Freq. 1) • Hypernyms: ↑workplace, ↑work * * * noun, pl ⋯ grounds [count] 1 : a place where things or people are tested or tried out for the first time often + for The local racetrack became a… … Useful english dictionary
Machine Empire — The Machine Empire is a group of robotic villains in the Power Rangers universe, who first appeared in the television show Power Rangers Zeo and were later mentioned in Power Rangers in Space and Power Rangers Wild Force. Contents 1 History 2… … Wikipedia
General Motors Proving Grounds — General Motors operates several proving grounds. Contents 1 North America 1.1 Desert Proving Ground Yuma 1.2 Milford Proving Ground 1.3 Cupuán Proving … Wikipedia
Counter machine models — This page supplements counter machine. Although some authors use the name register machine synonymously with counter machine , this article will give details and examples of only of the most primitive species the counter machine of the genus… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Bernina Sewing Machine — History= In the spring of 1890, Karl Friedrich Gegauf moved from Tägerwilen to Steckborn, Switzerland. and in Feldbach Convent established an embroidery shop and a mechanical workshop for the production of a monogram embroidering machine, his own … Wikipedia
M60 machine gun — Infobox Weapon name=Machine Gun, 7.62 mm, M60 caption=M60 machine gun origin=flagcountry|United States type= General purpose machine gun is ranged=yes service= 1957 present used by=See Operators wars= Vietnam War Cambodian Civil War Gulf War War… … Wikipedia
Love Machine (Girls Aloud song) — Infobox Single Name = Love Machine Artist = Girls Aloud from Album = What Will the Neighbours Say? B side = Androgynous Girls Released = September 13, 2004 Format = CD single, 7 picture disc Recorded = 2004 Genre = Dance Pop, Jazz pop Length =… … Wikipedia
IAS machine — The IAS machine was the first electronic digital computer built by the Institute for Advanced Study (IAS), Princeton, NJ, USA. The paper describing the design of the IAS machine was edited by John von Neumann, (see Von Neumann architecture), a… … Wikipedia
Interactive theorem proving — is the field of computer science and mathematical logic concerned with tools to develop formal proofs by man machine collaboration. This involves some sort of proof assistant: an interactive proof editor, or other interface, with which a human… … Wikipedia
Silver machine — This article is about the device. For the Hawkwind song, see Silver Machine. Not to be confused with Silver Machines. In set theory, Silver machines are devices used for bypassing the use of fine structure in proofs of statements holding in L.… … Wikipedia
